Towards redefining Socratic irony

Towards a Formal Semantics of Verbal Irony

This paper presents a formal semantics of verbal irony in assertions. In particular, it makes precise what is meant by the common intuition that an ironic utterance expresses the opposite of its literal meaning. We start by considering cases of verbal irony that are marked by a particular prosodic tune in English. We then demonstrate that an extant model for intonational meaning can be extended...

Implicit Display Theory of Verbal Irony: Towards A Computational Model of Irony

This paper proposes the implicit display theory of verbal irony that overcomes several difficulties of previous irony theories, and then describes a computational model of irony interpretation and generation based on the theory. The theory claims that irony implicitly communicates the fact that its utterance situation is surrounded by ironic environment which has three properties, but hearers c...

Socratic Trees

We consider the method of Socratic proofs (SP-method). SP-method enables a formal explication of the idea of solving logical problems (i.e problems of entailment/ derivability/ theoremhood) by pure questioning, that is, by transforming the relevant initial question into consecutive questions without making any use of answers to the questions just transformed. Our aim is to give a method of tran...

Socratic Proofs

Socratic Learning

Modern machine learning techniques often use discriminative models that require large amounts of labeled data. Since generating labeled training data sets is expensive, an alternative approach is to use a generative model, which leverages a simple heuristic to weakly label data. Domain experts prefer using generative models because they “tell a story” about their data. Unfortunately, generative...